.. comment: generated by t_assert_comp_bad
.. code-block::

   %Warning-USERERROR: example.v:1:7 User elaboration-time error
